Seminar on the History of Programming Languages
نویسنده
چکیده
منابع مشابه
Formalising Bitonic Sort using Dependt Types
From 12.09.04 to 17.09.04, the Dagstuhl Seminar 04381 Dependently Typed Programming was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ...
متن کاملRelationships , Objects , Roles , and Queries in Modern Programming Languages Dagstuhl Seminar
From 11/04/10 to 16/04/10, the Dagstuhl Seminar 10152 Relationships, Objects, Roles, and Queries in Modern Programming Languages was held in Schloss Dagstuhl Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of s...
متن کاملDagstuhl Seminar 15441 Duality in Computer
This report documents the programme and outcomes of Dagstuhl Seminar 15441 ‘Duality in Computer Science’. This seminar served as a follow-up seminar to the seminar ‘Duality in Computer Science’ (Dagstuhl Seminar 13311). In this seminar, we focused on applications of duality to semantics for probability in computation, to algebra and coalgebra, and on applications in complexity theory. A key obj...
متن کاملCoalgebraic Semantics of Reflexive Economics
This report documents the program and the outcomes of Dagstuhl Seminar 15042 “Coalgebraic Semantics of Reflexive Economics”. Seminar January 18–21, 2015 – http://www.dagstuhl.de/15042 1998 ACM Subject Classification D.3.1 [Programming Languages] Formal Definitions and Theory, F.4.3 [Mathematical Logic and Formal Languages] Formal Languages, J.4 Social and Behavorial Sciences – Economics
متن کاملProgramming with "Big Code"
This report documents the program and the outcomes of Dagstuhl Seminar 15472 Programming with “Big Code”. “Big Code” is a term used to refer to the increasing availability of the millions of programs found in open source repositories such as GitHub, BitBucket, and others. With this availability, an opportunity appears in developing new kinds of statistical programming tools that learn and lever...
متن کامل